Heapviz: Interactive heap visualization for program understanding and debugging
نویسندگان
چکیده
منابع مشابه
Heapviz: Interactive Heap Visualization for Program Understanding and Debugging
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn’t work. Inspecting the code that implements the data structures, however, is an arduous task and often fails to yield insights into the global organization of a program’s data. Inspecting the actual contents of the heap solves these problems but presents a significant challenge of i...
متن کامل1 Dynamic Heap Type Inference for Program Understanding and Debugging ∗
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency with program types. Our approach builds on ideas from physical subtyping and conservative garbage collection. We infer a program-defined type for each allocated storage location or identify “untypable” blocks that reveal ...
متن کاملWHATSAT: Dynamic Heap Type Inference for Program Understanding and Debugging
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency with program types. Our approach builds on ideas from physical subtyping and conservative garbage collection. We infer a program-defined type for each allocated storage location or identify “untypable” blocks that reveal ...
متن کاملInteractive Program Debugging
The computer software industry is in a period of massive growth that shows no signs of diminishing as new markets are continuously identified and approached. Currently, the tools and techniques to aid in the development and debugging of software is extremely limited and has not kept pace with the needs of the software industry. Improvements have been made in the software design processes (throu...
متن کاملA Visualization Tool for Constraint Program Debugging
Constraint programming is an emerging technology that offers an original approach allowing for efficient and flexible solving of complex problems. Its main advantage relies in its ability to compute with partial information expressed in terms of constraints. These constraints are monotonically accumulated during the program execution in order to restrict the problem search space. In this paper ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Visualization
سال: 2012
ISSN: 1473-8716,1473-8724
DOI: 10.1177/1473871612438786